Automatikos terminų žodynas. – Vilnius: Technika. Vilius Antanas Geleževičius, Angelė Kaulakienė, Stanislovas Marcinkevičius. 2004.
substitution rule — pakeitimo taisyklė statusas T sritis automatika atitikmenys: angl. rewriting rule; substitution rule vok. Substitutionsregel, f rus. правило подстановки, n pranc. règle de substitution, f … Automatikos terminų žodynas
Substitution electrophile aromatique — Substitution électrophile aromatique La substitution électrophile aromatique (ou SEA, voire SEAr) est une réaction chimique du domaine de la chimie organique, au cours de laquelle un atome, en règle générale d hydrogène, fixé à un cycle… … Wikipédia en Français
SUBSTITUTION (droit de succession) — SUBSTITUTION, droit de succession Le terme «substitution» désigne une disposition prise au profit d’une personne appelée fidéicommis avec responsabilité pour ce dernier de transférer, à sa mort, l’objet à une tierce personne qui, comme… … Encyclopédie Universelle
Substitution uniforme — Instanciation universelle En logique, l instanciation universelle (également appelée Dictum de omni) est une règle d inférence qui permet, à partir d une vérité sur l ensemble des membres d une classe d entités, d inférer une vérité sur une… … Wikipédia en Français
Règle de résolution — La règle de résolution ou principe de résolution de Robinson est une règle d inférence logique que l on peut voir comme une généralisation du modus ponens. Cette règle est principalement utilisée dans les systèmes de preuve automatiques, elle est … Wikipédia en Français
Substitution électrophile aromatique — La substitution électrophile aromatique (ou SEA, voire SEAr) est une réaction organique au cours de laquelle un atome, en règle générale d hydrogène, ou un groupe d atome, fixé à un cycle aromatique est substitué par un groupement électrophile.… … Wikipédia en Français
Règle de Hume-Rothery — Règles de Hume Rothery En chimie, les règles de Hume Rothery, du nom de William Hume Rothery qui les a énoncées la première fois, donnent les conditions de base pour obtenir un alliage homogène avec solubilité totale à l état solide (c est à dire … Wikipédia en Français
Substitution nucléophile aromatique — La substitution nucléophile aromatique est une réaction chimique du domaine de la chimie organique, au cours de laquelle un atome, en règle générale d hydrogène, fixé à un cycle aromatique est substitué par un groupement nucléophile. Elle permet… … Wikipédia en Français
Double substitution — La double substitution est une stratégie employée au baseball. Elle permet de remplacer simultanément deux joueurs en défensive, tout en inversant leur position dans le rôle offensif de l équipe. Description Les règlements du baseball stipulent… … Wikipédia en Français
Theologie de la substitution — Théologie de la substitution La théologie de la substitution, ou théorie de la substitution, ou supersessionisme (en anglais replacement theology ou supersessionism), est une doctrine selon laquelle le christianisme aurait été substitué au… … Wikipédia en Français
